#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"

int main() {
    fprintf(1, "Available free memory: %d bytes\n", freemem());
    exit(1);
} 